<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 1986-2008, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="description" CONTENT="String to real/double convertor">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>string_to_real_convertor Flat contracts</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="string_to_real_convertor_chart.html">Chart</A></TD><TD><A HREF="string_to_real_convertor_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE><B>indexing</B>
    description: "String to real/double convertor"
    library: "Free implementation of ELKS library"
    copyright: "Copyright (c) 1986-2008, Eiffel Software and others"
    license: "Eiffel Forum License v2 (see forum.txt)"
    date: "$Date: 2008-08-12 22:46:45 +0200 (Tue, 12 Aug 2008) $"
    revision: "$Revision: 186 $"

<B>class</B> <B>interface</B>
    <A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>


<B>create</B> 
    <A NAME="f_make"><A HREF="../base/string_to_real_convertor_flatshort.html#f_make">make</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Initialize.</FONT>
        <B>ensure</B>
            leading_separators_set: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_leading_separators">leading_separators</A>.<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> (" ")
            trailing_separators_set: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_trailing_separators">trailing_separators</A>.<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> (" ")
            leading_separators_not_acceptable: <B>not</B> <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_leading_separators_acceptable">leading_separators_acceptable</A>
            trailing_separatorsnot_acceptable: <B>not</B> <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_trailing_separators_acceptable">trailing_separators_acceptable</A>
</A>
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access</FONT>

    <A NAME="f_generating_type"><A HREF="../base/any_flatshort.html#f_generating_type">generating_type</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generating_type_not_void: <B>Result</B> /= <B>Void</B>
            generating_type_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_generator"><A HREF="../base/any_flatshort.html#f_generator">generator</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating class</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (base class of the type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generator_not_void: <B>Result</B> /= <B>Void</B>
            generator_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Comparison</FONT>

    <A NAME="f_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> or attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some, other) <B>implies</B> <B>Result</B>
            both_or_none_void: (some = <B>Void</B>) <B>implies</B> (<B>Result</B> = (other = <B>Void</B>))
            same_type: (<B>Result</B> <B>and</B> (some /= <B>Void</B>)) <B>implies</B> (other /= <B>Void</B> <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other))
            symmetric: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (other, some)
</A>
    <A NAME="f_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_equal">equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to objects considered equal?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other))
</A>
    <A NAME="f_is_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (other: <A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`Current'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (<B>Current</B>)
</A>
    <A NAME="f_is_equal"><A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other: <A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object considered</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> equal to current object?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
            consistent: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
</A>
    <A NAME="f_standard_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> field-by-field identical objects of the same type?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default object comparison criterion.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other))
</A>
    <A NAME="f_standard_is_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other: <A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object of the same type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as current object, and field-by-field identical to it?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status report</FONT>

    <A NAME="f_conforms_to"><A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does type of current object conform to type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of </FONT>`other'<FONT COLOR="red"> (as per Eiffel: The Language, chapter 13)?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
</A>
    <A NAME="f_same_type"><A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is type of current object identical to type of </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other) <B>and</B> other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>))
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status setting</FONT>

    <A NAME="f_reset"><A HREF="../base/string_to_real_convertor_flatshort.html#f_reset">reset</A> (type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Reset current convertor to parse real number string of type </FONT>`type'<FONT COLOR="red">.</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
            type_valid: <A HREF="../base/string_to_real_convertor_flatshort.html#f_conversion_type_valid">conversion_type_valid</A> (type)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
            last_state_set: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_last_state">last_state</A> = 0
            sign_set: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_sign">sign</A> = 0
            conversion_type_set: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_conversion_type">conversion_type</A> = type
            not_overflowed: <B>not</B> <A HREF="../base/string_to_real_convertor_flatshort.html#f_overflowed">overflowed</A>
            not_underflowed: <B>not</B> <A HREF="../base/string_to_real_convertor_flatshort.html#f_underflowed">underflowed</A>
            parse_successful: <A HREF="../base/string_to_real_convertor_flatshort.html#f_parse_successful">parse_successful</A>
        <B>ensure then</B>
            natural_part_set: <A HREF="../base/string_to_real_convertor_flatshort.html#f_natural_part">natural_part</A> = 0
            fractional_part_set: <A HREF="../base/string_to_real_convertor_flatshort.html#f_fractional_part">fractional_part</A> = 0
            fractional_divider_set: <A HREF="../base/string_to_real_convertor_flatshort.html#f_fractional_divider">fractional_divider</A> = 0
            exponent_set: <A HREF="../base/string_to_real_convertor_flatshort.html#f_exponent">exponent</A> = 0
            is_negative_set: <A HREF="../base/string_to_real_convertor_flatshort.html#f_is_negative">is_negative</A> = <B>False</B>
            has_negative_exponent_set: <A HREF="../base/string_to_real_convertor_flatshort.html#f_has_negative_exponent">has_negative_exponent</A> = <B>False</B>
            has_fractional_part_set: <A HREF="../base/string_to_real_convertor_flatshort.html#f_has_fractional_part">has_fractional_part</A> = <B>False</B>
            needs_digit_set: <A HREF="../base/string_to_real_convertor_flatshort.html#f_needs_digit">needs_digit</A> = <B>False</B>
</A>
    <A NAME="f_set_leading_separators"><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_set_leading_separators">set_leading_separators</A> (separators: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_leading_separators">leading_separators</A><FONT COLOR="red"> with </FONT>`separators'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
            separators_not_void: separators /= <B>Void</B>
            separators_valid: <A HREF="../base/string_to_real_convertor_flatshort.html#f_separators_valid">separators_valid</A> (separators)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
            leading_separators_set: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_leading_separators">leading_separators</A>.<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> (separators)
</A>
    <A NAME="f_set_leading_separators_acceptable"><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_set_leading_separators_acceptable">set_leading_separators_acceptable</A> (b: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_leading_separators_acceptable">leading_separators_acceptable</A><FONT COLOR="red"> to </FONT>`b'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
            leading_separators_acceptable_set: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_leading_separators_acceptable">leading_separators_acceptable</A> = b
</A>
    <A NAME="f_set_trailing_separators"><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_set_trailing_separators">set_trailing_separators</A> (separators: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_trailing_separators">trailing_separators</A><FONT COLOR="red"> with </FONT>`separators'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
            separators_not_void: separators /= <B>Void</B>
            separators_valid: <A HREF="../base/string_to_real_convertor_flatshort.html#f_separators_valid">separators_valid</A> (separators)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
            trailing_separators_set: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_trailing_separators">trailing_separators</A>.<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> (separators)
</A>
    <A NAME="f_set_trailing_separators_acceptable"><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_set_trailing_separators_acceptable">set_trailing_separators_acceptable</A> (b: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_trailing_separators_acceptable">trailing_separators_acceptable</A><FONT COLOR="red"> to </FONT>`b'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
            trailing_separators_acceptable_set: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_trailing_separators_acceptable">trailing_separators_acceptable</A> = b
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Duplication</FONT>

    <A NAME="f_copy"><A HREF="../base/any_flatshort.html#f_copy">copy</A> (other: <A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Update current object using fields of object attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to </FONT>`other'<FONT COLOR="red">, so as to yield equal objects.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_equal: <A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other)
</A>
    <A NAME="f_deep_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_copy">deep_copy</A> (other: <A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Effect equivalent to that of:</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red">		</FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red"> (</FONT>`other'<FONT COLOR="red"> . </FONT><A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A><FONT COLOR="red">)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, other)
</A>
    <A NAME="f_deep_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A>: <A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object structure recursively duplicated from Current.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_twin_not_void: <B>Result</B> /= <B>Void</B>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, <B>Result</B>)
</A>
    <A NAME="f_standard_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_copy">standard_copy</A> (other: <A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy every field of </FONT>`other'<FONT COLOR="red"> onto corresponding field</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_standard_equal: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other)
</A>
    <A NAME="f_standard_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_twin">standard_twin</A>: <A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object field-by-field identical to </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default copying semantics.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            standard_twin_not_void: <B>Result</B> /= <B>Void</B>
            equal: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (<B>Result</B>, <B>Current</B>)
</A>
    <A NAME="f_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_twin">twin</A>: <A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object equal to </FONT>`Current'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/any_flatshort.html#f_twin">twin</A><FONT COLOR="red"> calls </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">; to change copying/twining semantics, redefine </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            twin_not_void: <B>Result</B> /= <B>Void</B>
            is_equal: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Basic operations</FONT>

    <A NAME="f_default"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default">default</A>: ?<A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of object's type</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_pointer"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default_pointer">default_pointer</A>: <A HREF="../base/pointer_flatshort.html">POINTER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of type </FONT>`POINTER'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Avoid the need to write </FONT>`p'<FONT COLOR="red">.</FONT><A HREF="../base/any_flatshort.html#f_default">default</A><FONT COLOR="red"> for</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> some </FONT>`p'<FONT COLOR="red"> of type </FONT>`POINTER'<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_rescue"><A HREF="../base/any_flatshort.html#f_default_rescue">default_rescue</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process exception for routines with no Rescue clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_do_nothing"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_do_nothing">do_nothing</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Execute a null action.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Output</FONT>

    <A NAME="f_io"><A HREF="../base/any_flatshort.html#f_io">io</A>: <A HREF="../base/std_files_flatshort.html">STD_FILES</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Handle to standard file setup</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            io_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_out"><A HREF="../base/any_flatshort.html#f_out">out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_print"><A HREF="../base/any_flatshort.html#f_print">print</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Write terse external representation of </FONT>`some'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> on standard output.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_tagged_out"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_tagged_out">tagged_out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            tagged_out_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Parse</FONT>

    <A NAME="f_parse_character"><A HREF="../base/string_to_real_convertor_flatshort.html#f_parse_character">parse_character</A> (c: <A HREF="../base/character_8_flatshort.html">CHARACTER_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Parse character </FONT>`c'<FONT COLOR="red">.</FONT>
</A>
    <A NAME="f_parse_string_with_type"><A HREF="../base/string_to_real_convertor_flatshort.html#f_parse_string_with_type">parse_string_with_type</A> (s: <A HREF="../base/readable_string_general_flatshort.html">READABLE_STRING_GENERAL</A>; type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Parse string </FONT>`s'<FONT COLOR="red"> as real number of type </FONT>`type'<FONT COLOR="red">.</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
            s_not_void: s /= <B>Void</B>
            s_is_valid_as_string_8: s.<A HREF="../base/readable_string_general_flatshort.html#f_is_valid_as_string_8">is_valid_as_string_8</A>
            type_valid: <A HREF="../base/string_to_real_convertor_flatshort.html#f_conversion_type_valid">conversion_type_valid</A> (type)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Platform</FONT>

    <A NAME="f_operating_environment"><A HREF="../base/any_flatshort.html#f_operating_environment">operating_environment</A>: <A HREF="../base/operating_environment_flatshort.html">OPERATING_ENVIRONMENT</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects available from the operating system</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            operating_environment_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status reporting</FONT>

    <A NAME="f_conversion_type"><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_conversion_type">conversion_type</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Type to which a string will be converted</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> See </FONT>`NUMBER_INFORMATION'<FONT COLOR="red"> for more information.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A><FONT COLOR="red">)</FONT>

    <A NAME="f_conversion_type_valid"><A HREF="../base/string_to_real_convertor_flatshort.html#f_conversion_type_valid">conversion_type_valid</A> (type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is conversion type </FONT>`type'<FONT COLOR="red"> valid?</FONT>
</A>
    <A NAME="f_is_integral_double"><A HREF="../base/string_to_real_convertor_flatshort.html#f_is_integral_double">is_integral_double</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is character sequence that has been parsed represents a valid double?</FONT>
</A>
    <A NAME="f_is_integral_real"><A HREF="../base/string_to_real_convertor_flatshort.html#f_is_integral_real">is_integral_real</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is character sequence that has been parsed represents a valid real?	</FONT>
</A>
    <A NAME="f_is_part_of_double"><A HREF="../base/string_to_real_convertor_flatshort.html#f_is_part_of_double">is_part_of_double</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is character sequence that has been parsed so far a valid start part of double?</FONT>
</A>
    <A NAME="f_is_part_of_real"><A HREF="../base/string_to_real_convertor_flatshort.html#f_is_part_of_real">is_part_of_real</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is character sequence that has been parsed so far a valid start part of real?</FONT>
</A>
    <A NAME="f_leading_separators"><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_leading_separators">leading_separators</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Leading separators</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A><FONT COLOR="red">)</FONT>

    <A NAME="f_leading_separators_acceptable"><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_leading_separators_acceptable">leading_separators_acceptable</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are leading separators acceptable?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A><FONT COLOR="red">)</FONT>

    <A NAME="f_overflowed"><A HREF="../base/string_to_real_convertor_flatshort.html#f_overflowed">overflowed</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is real number parsed so far overflowed?</FONT>
</A>
    <A NAME="f_parse_successful"><A HREF="../base/string_to_real_convertor_flatshort.html#f_parse_successful">parse_successful</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> This only means we didn't enter an invalid state when parsing,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> it doesn't mean that we have got an valid double/real number.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> You need to check </FONT>`is_double'<FONT COLOR="red"> or </FONT>`is_real'<FONT COLOR="red">.</FONT>
</A>
    <A NAME="f_parsed_double"><A HREF="../base/string_to_real_convertor_flatshort.html#f_parsed_double">parsed_double</A>: <A HREF="../base/real_64_flatshort.html">REAL_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Parsed double value</FONT>
</A>
    <A NAME="f_parsed_real"><A HREF="../base/string_to_real_convertor_flatshort.html#f_parsed_real">parsed_real</A>: <A HREF="../base/real_32_flatshort.html">REAL_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Parsed real value</FONT>
</A>
    <A NAME="f_separators_valid"><A HREF="../base/string_to_real_convertor_flatshort.html#f_separators_valid">separators_valid</A> (separators: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are separators contained in </FONT>`separators'<FONT COLOR="red"> valid?</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
            separators_not_void: separators /= <B>Void</B>
</A>
    <A NAME="f_trailing_separators"><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_trailing_separators">trailing_separators</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Trailing separators</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A><FONT COLOR="red">)</FONT>

    <A NAME="f_trailing_separators_acceptable"><A HREF="../base/string_to_numeric_convertor_flatshort.html#f_trailing_separators_acceptable">trailing_separators_acceptable</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are trailing separators acceptable?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A><FONT COLOR="red">)</FONT>

    <A NAME="f_underflowed"><A HREF="../base/string_to_real_convertor_flatshort.html#f_underflowed">underflowed</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is real number parsed so far underflowed?</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Type checking</FONT>

    <A NAME="f_double_type_valid"><A HREF="../base/numeric_information_flatshort.html#f_double_type_valid">double_type_valid</A> (type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`type'<FONT COLOR="red"> a valid double type?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_integer_natural_type_valid"><A HREF="../base/numeric_information_flatshort.html#f_integer_natural_type_valid">integer_natural_type_valid</A> (type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`type'<FONT COLOR="red"> a valid integer/natural type?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_integer_type_valid"><A HREF="../base/numeric_information_flatshort.html#f_integer_type_valid">integer_type_valid</A> (type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`type'<FONT COLOR="red"> a valid integer type?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_natural_type_valid"><A HREF="../base/numeric_information_flatshort.html#f_natural_type_valid">natural_type_valid</A> (type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`type'<FONT COLOR="red"> a valid natural type?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_read_type_valid"><A HREF="../base/numeric_information_flatshort.html#f_read_type_valid">read_type_valid</A> (type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`type'<FONT COLOR="red"> a valid real type?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_real_double_type_valid"><A HREF="../base/numeric_information_flatshort.html#f_real_double_type_valid">real_double_type_valid</A> (type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`type'<FONT COLOR="red"> a valid real/double type?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Types</FONT>

    <A NAME="f_max_integer_type"><A HREF="../base/numeric_information_flatshort.html#f_max_integer_type">max_integer_type</A>: <A HREF="../base/integer_64_flatshort.html">INTEGER_64</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> INTEGER type of max word length</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_max_natural_type"><A HREF="../base/numeric_information_flatshort.html#f_max_natural_type">max_natural_type</A>: <A HREF="../base/natural_64_flatshort.html">NATURAL_64</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> NATURAL type of max word length</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_count"><A HREF="../base/numeric_information_flatshort.html#f_type_count">type_count</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 4</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Number of types of integer/natural in Eiffel</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_double"><A HREF="../base/numeric_information_flatshort.html#f_type_double">type_double</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 101</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Real/Double type indicators</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_integer"><A HREF="../base/numeric_information_flatshort.html#f_type_integer">type_integer</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 3</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/numeric_information_flatshort.html#f_type_integer_32">Type_integer_32</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_integer_16"><A HREF="../base/numeric_information_flatshort.html#f_type_integer_16">type_integer_16</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 2</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_integer_32"><A HREF="../base/numeric_information_flatshort.html#f_type_integer_32">type_integer_32</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 3</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/numeric_information_flatshort.html#f_type_integer">Type_integer</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_integer_64"><A HREF="../base/numeric_information_flatshort.html#f_type_integer_64">type_integer_64</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 4</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_integer_8"><A HREF="../base/numeric_information_flatshort.html#f_type_integer_8">type_integer_8</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 1</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_integer_natural_separator"><A HREF="../base/numeric_information_flatshort.html#f_type_integer_natural_separator">type_integer_natural_separator</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 10</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_natural"><A HREF="../base/numeric_information_flatshort.html#f_type_natural">type_natural</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 13</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/numeric_information_flatshort.html#f_type_natural_32">Type_natural_32</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_natural_16"><A HREF="../base/numeric_information_flatshort.html#f_type_natural_16">type_natural_16</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 12</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_natural_32"><A HREF="../base/numeric_information_flatshort.html#f_type_natural_32">type_natural_32</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 13</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/numeric_information_flatshort.html#f_type_natural">Type_natural</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_natural_64"><A HREF="../base/numeric_information_flatshort.html#f_type_natural_64">type_natural_64</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 14</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Integer/natural type indicators</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_natural_8"><A HREF="../base/numeric_information_flatshort.html#f_type_natural_8">type_natural_8</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 11</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_no_limitation"><A HREF="../base/numeric_information_flatshort.html#f_type_no_limitation">type_no_limitation</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 0</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Type representing a number sequence (no length limitation)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>

    <A NAME="f_type_real"><A HREF="../base/numeric_information_flatshort.html#f_type_real">type_real</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 100</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/numeric_information_flatshort.html">NUMERIC_INFORMATION</A><FONT COLOR="red">)</FONT>
    
<B>invariant</B>
        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_to_numeric_convertor_flatshort.html">STRING_TO_NUMERIC_CONVERTOR</A>
    leading_separators_not_void: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_leading_separators">leading_separators</A> /= <B>Void</B>
    trailing_separators_not_void: <A HREF="../base/string_to_numeric_convertor_flatshort.html#f_trailing_separators">trailing_separators</A> /= <B>Void</B>

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
    reflexive_equality: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
    reflexive_conformance: <A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>)

<B>end</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">class </FONT><A HREF="../base/string_to_real_convertor_flatshort.html">STRING_TO_REAL_CONVERTOR</A><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="string_to_real_convertor_chart.html">Chart</A></TD><TD><A HREF="string_to_real_convertor_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>

